#ifndef __STDDEF_H__
#define __STDDEF_H__
#include <stdint.h>

typedef long unsigned int size_t;
typedef uint64_t word_t;

#endif